例文The assumed antecedent of a conditional proof is called the " conditional proof assumption " ( CPA ).